class foo[_: foo](object): ...

[_] = (foo,) = foo

def foo(): ...
